... حکومت اسلامی تشکیل بشود آنگاه، حدود الهی اجرا گردد. ... ابن‌ادریس حلی ... تعطیل شود، چون لازمه تعطیلی حدود الهی تعطیلی دین است. ... شهید اول ... معصوم (علیه‌السّلام) برای اقامه حدود الهی و حکمرانی، بر مردم واجب ... ) اجرای قوانین، احکام و حدود الهی به هیچ وجه نباید تعطیل ...